7 ideas
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
4800 | Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos] |
17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |
17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |